Combining Reductions and Computations in ReDuX
نویسندگان
چکیده
ReDuX [1, 4] is a term rewriting laboratory mainly aimed at theorem proving and completion procedures. ReDuX comprises several variants of Knuth-Bendix completion including a version supporting associative commutative operators and an inductive completion procedure. Several term orderings are available as well as a random term generator and a program to automatically analyze the set of irreducible ground terms.
منابع مشابه
The Redux 0 Server
Redux 0 is a subset of the full REDUX modell7]. The latter performs problem solving. In contrast Redux 0 does not and acts only as a decision maintenance server. It takes objects of types deened in an ontology of decision components and maintains dependencies between them. Redux 0 is domain-independent. The dependency relationships are maintained on the basis of proposition type and not content...
متن کاملElectricity Load Forecasting by Combining Adaptive Neuro-fuzzy Inference System and Seasonal Auto-Regressive Integrated Moving Average
Nowadays, electricity load forecasting, as one of the most important areas, plays a crucial role in the economic process. What separates electricity from other commodities is the impossibility of storing it on a large scale and cost-effective construction of new power generation and distribution plants. Also, the existence of seasonality, nonlinear complexity, and ambiguity pattern in electrici...
متن کاملRural Europe Redux
Rural Europe Redux? Reflections on Alternative Agro-Food Networks and Paradigm Change David Goodman Department of Environmental Studies University of California, Santa Cruz **Forthcoming in Sociologia Ruralis (2004), 44 (1)**
متن کاملVARIATIONAL HOMOTOPY PERTURBATION METHOD FOR SOLVING THE NONLINEAR GAS DYNAMICS EQUATION
A. Noor et al. [7] analyze a technique by combining the variational iteration method and the homotopy perturbation method which is called the variational homotopy perturbation method (VHPM) for solving higher dimensional initial boundary value problems. In this paper, we consider the VHPM to obtain exact solution to Gas Dynamics equation.
متن کامل